Herbrand theorem

[计] 海尔勃朗定理